2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
Автор:
Gordon Plotkin
, Автор:
Colin Stirling
, Автор:
Mads Tofte
Категория:
Языкознание
Размер книги: 83.06 Mb
Proof, Language, and Interaction: Essays in Honour of Robin Milner (Foundations of Computing)
Автор:
Gordon Plotkin
, Автор:
Colin Stirling
, Автор:
Mads Tofte
Размер книги: 9.93 Mb
Logical frameworks
Автор:
Gèrard Huet
, Автор:
Gordon Plotkin
Размер книги: 4.28 Mb
Typed Lambda Calculi and Applications, TLCA '95 2 conf
Автор:
Mariangiola Dezani-Ciancaglini
, Автор:
Gordon Plotkin
Категория:
Cs_Computer science
,
CsLn_Lecture notes
Размер книги: 3.54 Mb
Transactions on Computational Systems Biology 6 conf
Автор:
Gordon Plotkin
, Автор:
Corrado Priami
Категория:
CsLn_
Размер книги: 4.42 Mb
From Semantics to Computer Science: Essays in Honour of Gilles Kahn
Автор:
Yves Bertot
, Автор:
Gérard Huet
, Автор:
Jean-Jacques Lévy
, Автор:
Gordon Plotkin
Размер книги: 4.04 Mb
